741. Stabilization, safety, and security of distributed systems :
پدیدآورنده : Taisuke Izumi, Petr Kuznetsov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer security, Congresses.,Electronic data processing-- Distributed processing-- Safety measures, Congresses.,Self-stabilization (Computer science), Congresses.,Artificial intelligence.,Computer architecture & logic design.,Computer security.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Expert systems-- knowledge-based systems.,Network hardware.,Operating systems.,Self-stabilization (Computer science),Systems analysis & design.
رده :
QA76
.
9
.
S54
742. Stabilization, safety, and security of distributed systems :
پدیدآورنده : Xavier Défago, Franck Petit, Vincent Villainches
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer security, Congresses,Electronic data processing-- Distributed processing-- Safety measures, Congresses,Self-stabilization (Computer science), Congresses
رده :
QA76
.
9
.
S54
S67
2011
743. Stabilization, safety, and security of distributed systems
پدیدآورنده : Andréa W. Richa, Christian Scheideler (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks-- Reliability, Congresses,Computer networks-- Security measures, Congresses,Electronic data processing-- Distributed processing, Congresses,Self-stabilization (Computer science), Congresses
رده :
QA76
.
9
.
S54
S67
2012eb
744. Stabilization, safety, and security of distributed systems : 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings
پدیدآورنده : Borzoo Bonakdarpour, Franck Petit )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Self-stabilization )Computer science(,Safety measures -- Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer security
رده :
QA
76
.
L28
Vol
.
10083
745. Stepwise refinement of distributed systems :
پدیدآورنده : J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electronic data processing-- Distributed processing, Congresses.
رده :
QA76
.
9
.
D5
S75
1990
746. Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop , Mook, The Netherlands, May 29-June 2, 1989 : Proceedings
پدیدآورنده : J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
430
747. Structural Information and Communication Complexity :
پدیدآورنده : Keren Censor-Hillel, Michele Flammini (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Computer networks.,Digital communications.,Electronic data processing-- Distributed processing.
رده :
QA76
.
9
.
A43
748. Structural Information and Communication Complexity :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic data processing ; Distributed processing ; Congresses. ;
749. Structural information and communication complexity :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic data processing ; Distributed processing ; Congresses. ;
750. Structural information and communication complexity :
پدیدآورنده : Zvi Lotker, Boaz Patt-Shamir (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer networks.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Operating Systems-- General.,Computers-- Programming-- Algorithms.,Digital communications.,Discrete mathematics.,Electronic data processing-- Distributed processing.,Operating systems.
رده :
QA76
.
9
.
A43
751. Structural information and communication complexity :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic data processing ; Distributed processing ; Congresses. ;
752. Structural information and communication complexity : 12th International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005 : proceedings
پدیدآورنده : Andrzej Pelc, Michel Raynal )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer networks
رده :
QA
76
.
L28
Vol
.
3499
753. Structural information and communication complexity : 11th International Colloquium, SIROCCO 2004, Smolenice Castle, Slowakia, June 21-23, 2004 : proceedings
پدیدآورنده : Ratislav Kralovic, Ondrej Sykora )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer networks,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
3104
754. Symposium on Computer Augmentation of Human Reasoning; ]proceedings[
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Artificial intelligence-- Congresses,، Electronic data processing-- Congresses
رده :
Q
335
.
S9
1964
755. System security: proceedings of the international conference held in london, October 1986
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Electronic data processing departments -- Security measures -- Congresses
رده :
HF
5548
.
2
.
S895
756. TRON project 1983: open-architecture cpmputer systems/ Proceedings of the fifth TRON Project Symposium
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Computer architecture,Congresses ، Real-time data processing,Congresses ، Electronic data processing-- Distributed processing
رده :
QA
76
.
9
.
A73
.
T76
1988
757. The Role of language in problem solving I : edited proceedings of the symposium held at the Johns Hopkins University Applied Physics Laboratory, Laurel, Maryland, 29-31 October, 1984
پدیدآورنده : editors, Robert Jernigan, Bruce W. Hamill, and David M. Weintraub
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Problem solving - Data processing
رده :
QA
76
.
7
.
R65
1985
758. #<The> Skyline of information processing
پدیدآورنده : #Edited by H. Zemanek
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Electronic data processing- Congresses
رده :
#
QA
،#.
S545
759. The Skyline of information processing ; proceeding of the tenth anniversarty celebration of the IFIP, Amsredeam oct.25,1970
پدیدآورنده :
موضوع : ، Electronic data processing - congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
760. The colletion and processing of field data a CSIRO symposium
پدیدآورنده : / Edited by E. F. Bradley and O. T. Denmead
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Reserch - Congresses,Electronic data processing in research - Congresses
رده :
507
.
2
Co
